Từ điển kỹ thuật
Lĩnh vực: toán & tin
- high predicate calculus
- phép tính vị ngữ: Từ điển kỹ thuậtLĩnh vực: toán & tinpredicate calculusphép tính vị ngữ cấp caohigh predicate calculusphép tính vị ngữ hẹprestricted predicate calculus
- phép tính vị ngữ hẹp: Từ điển kỹ thuậtLĩnh vực: toán & tinrestricted predicate calculus
- phép tính của hệ truyền thông cấp cao: Từ điển kỹ thuậtLĩnh vực: toán & tinCHOCS (calculus of higher order communicating systems)
